BabelTrace: A Collection of Transducers for Trace Validation
نویسندگان
چکیده
Trace validation is the process of evaluating a formal specification over a log of recorded events produced by a system. In addition to the numerous techniques developed specifically for that purpose over the years, a range of peripheral tools such as model checkers and database engines can also be used as bona fide trace validators. We present an evolvable software environment that provides a large set of transducers which, when piped into an appropriate chain, can transform a trace and a formal specification into a suitable input problem for a variety of available tools.
منابع مشابه
A Trace-based Approach to Evaluating Wireless Networks
Evaluating a mobile wireless network is a challenging problem because the quality of the wireless link varies unpredictably over time and space. In designing a better mobile computing system, we need proper understanding of the behavior of the wireless links, mobility patterns, and the protocols at various levels of the network hierarchy. This thesis describes a trace-based approach to study su...
متن کاملImpact Analysis of Variation in Geometrical Features on Intrinsic Characteristics of Capacitive Micro-machined Ultrasonic Transducers
Capacitive Micro-machined Ultrasonic Transducers (CMUTs) are the ultrasonic devices which produce better features in contrast to piezoelectric transducers. The intrinsic parameter of CMUT varies with the variation in geometrical dimension of the device. The cavity height and the radius of the CMUT with circular membrane is varied in the lumped parallel plate model for its impact on the paramete...
متن کاملDevelopment of near infrared reflectance spectroscopy (NIRS) calibration model for estimation of oil content in a worldwide safflower germplasm collection
The development of NIRS calibration model as a rapid, precise, robust, and cost-effective method to estimate oil content in ground seeds of worldwide safflower germplasm collection grown under different agro-climatic conditions was the key objective of this research project. The oil content was measured by accelerated solvent extraction method in a total of 328 samples collected across 2004 (16...
متن کاملSimulating L3 Caches in Real Time Using Hardware Accelerated Cache Simulation (HACS): A Case Study with SPECint 2000
Trace-driven simulation is a commonly used tool to evaluate memory-hierarchy designs. Unfortunately, trace collection is very expensive, and storage requirements for traces are very large. In this paper, we introduce HACS (Hardware Accelerated Cache Simulator), and describe the validation methods we used to demonstrate functionality. We also present some initial cache simulation results from SP...
متن کاملPrediction of the Trace Amounts of Atomoxetine in Biological Samples using optimized solvent bar microextraction technique coupled with HPLC-UV
Atomoxetine, an attention-deficit/hyperactivity disorder (ADHD) agent , has severe adverse effects, which even causes suicidal ideation in patients and when combined with other drugs such as monoamine oxidase inhibitors or in patients with cardiovascular disorders or pheochromocytoma, it can be fatal. In order to monitor the trough level of the drug, sensitive analytical methods are in demand.T...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012